formal verification - Spanisch Englisch Wörterbuch